Lawrence Paulson - PDFSEARCH.IO - Document Search Engine

Lawrence Paulson
Results: 36

#	Item
31	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering
32	Constructible Lawrence C Paulson September 24, 2003 Contents 1 First-Order Formulas and the Definition of the Class L Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-14 06:49:59 Absoluteness Transitive set Constructible universe Well-formed formula Logical connective FO Function Logic Mathematics Mathematical logic
33	Set Theory for Veriﬁcation: II Induction and Recursion Lawrence C. Paulson Computer Laboratory, University of Cambridge April 1995 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:52 Theory of computation Functions and mappings Order theory Models of computation Knaster–Tarski theorem Function Well-founded relation Lambda calculus Constructible universe Mathematics Mathematical logic Computability theory
34	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
35	Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:46 Cardinal numbers Large cardinals Set theory Axiom of choice Zermelo–Fraenkel set theory Constructible universe First-order logic Mathematical proof Successor cardinal Mathematical logic Mathematics Logic
36	L. Paulson A Fixedpoint Approach to (Co)Inductive Definitions A Fixedpoint Approach to (Co)Inductive Definitions Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Applied mathematics Mathematical logic Programming idioms Theory of computation Computability theory Recursion Recursive definition Coinduction Lawrence Paulson Mathematics Computer programming Theoretical computer science